Language and Program Design for Functional Dependencies Mark P. Jones Iavor Diatchki Portland State University

Source URL: web.cecs.pdx.edu

• Data types
• Type theory
• Functional programming
• Data modeling
• Database constraints
• Type class
• Monad
• Type system
• Functional dependency
• Software engineering
• Computing
• Computer programming

Efficient Memory Safety for TinyOS Nathan Cooprider Will Archer Eric Eide

Source URL: www.cs.utah.edu

• Embedded operating systems
• Type theory
• Data types
• TinyOS
• Wireless sensor network
• NesC
• Procedural programming languages
• Type safety
• C
• Computing
• Software engineering
• Programming language theory

Data Structures David Morgan A list

Source URL: homepage.smc.edu

• Abstract data types
• Subroutines
• Stack
• Pointer
• Linked list
• Queue
• C
• Call stack
• Stack buffer overflow
• Software engineering
• Computing
• Computer programming

Object Orientation Chapter Sixteen Modern Programming Languages, 2nd ed.

Source URL: www.webber-labs.com

• Data types
• Object-oriented programming
• Programming paradigms
• Type theory
• Primitive types
• Linked list
• Object
• C
• Programming language
• Software engineering
• Computing
• Computer programming

A Understanding Integer Overflow in C/C++1 WILL DIETZ, University of Illinois at Urbana-Champaign PENG LI and JOHN REGEHR, University of Utah VIKRAM ADVE, University of Illinois at Urbana-Champaign

Source URL: www.cs.utah.edu

• Data types
• Computer arithmetic
• Primitive types
• Type theory
• Software bugs
• Integer overflow
• C
• Type system
• Bitwise operation
• Computing
• Software engineering
• Computer programming

#kulisch_GSTM33:39 Uhr

Source URL: www.math.kit.edu

• Mathematics
• Numbers
• Arithmetic
• Interval arithmetic
• Theoretical computer science
• Floating point
• Computer arithmetic
• Data types
• Numerical analysis

Preprocessed Input Data Description SPOT4 The Satellite Pour l’Observation de la Terre 4 (SPOT4) is a high resolution polar orbital satellite which worked for surface reflectance data from 1998 throughThis satel

Source URL: measures.arizona.edu

• Moderate-Resolution Imaging Spectroradiometer
• Earth
• Advanced Very High Resolution Radiometer
• Signedness
• Normalized Difference Vegetation Index
• Spaceflight
• Reflectivity
• Scale factor
• Computing
• Computer arithmetic
• Data types
• Remote sensing

Compiler II: Code Generation Building a Modern Computer From First Principles www.nand2tetris.org Elements of Computing Systems, Nisan & Schocken, MIT Press, www.nand2tetris.org , Chapter 1: Compiler II: Code Generatio

Source URL: nand2tetris.org

• Data types
• Programming language implementation
• Procedural programming languages
• Compiler construction
• Cross-platform software
• Compiler
• Pointer
• C
• Variable
• Software engineering
• Computing
• Computer programming

Taxonomy for Social Network Data Types from the Viewpoint of Privacy and User Control Christian Richthammer, Michael Netter, Moritz Riesner and G¨unther Pernul Department of Information Systems University of Regensburg

Source URL: epub.uni-regensburg.de

SoftSig: Software-Exposed Hardware Signatures for Code Analysis and Optimization ∗ James Tuck‡ ‡ NC State University

Source URL: homes.cs.washington.edu

• Software optimization
• Software engineering
• Data types
• Primitive types
• Memoization
• CPU cache
• Lookup table
• Memory disambiguation
• Pointer
• Computing
• Computer programming
• Computer performance